Knihy od autora Corina S. Pasareanu

Zobrazené 1 – 5 z 5 výsledkov

1. 

   Model Checking Software

   Corina S. Pasareanu | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2009

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   51.75 €

   Zľava 7 %

   Ušetríte 4.29 €

   Kúpiť
2. 

   Symbolic Execution and Quantitative Reasoning

   Corina S. Pasareanu | Springer International Publishing AG, 2020

   
   

   Skladom u dodávateľa - Odosielame za 8 - 11 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   25.41 €

   Zľava 9 %

   Ušetríte 2.77 €

   Kúpiť
3. 

   Computer Aided Verification

   Daniel Kroening, Corina S. Pasareanu | Springer International Publishing AG, 2015

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   51.75 €

   Zľava 7 %

   Ušetríte 4.29 €

   Kúpiť
4. 

   Formal Aspects of Component Software

   Corina S. Pasareanu, Gwen Salaün | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   47.59 €

   Zľava 7 %

   Ušetríte 3.97 €

   Kúpiť
5. 

   Computer Aided Verification

   Daniel Kroening, Corina S. Pasareanu | Springer International Publishing AG, 2015

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   51.75 €

   Zľava 7 %

   Ušetríte 4.29 €

   Kúpiť

Doručenie zadarmo pre objednávky nad 59.99 € Zistite viac